Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
1. Fachtagung über Automatentheorie und Formale Sprachen [[electronic resource] ] : GI. Gesellschaft für Informatik e.V. Bonn, 9.-12. Juli 1973 / / herausgegeben von Karl-Heinz Böhling, Klaus Indermark
| 1. Fachtagung über Automatentheorie und Formale Sprachen [[electronic resource] ] : GI. Gesellschaft für Informatik e.V. Bonn, 9.-12. Juli 1973 / / herausgegeben von Karl-Heinz Böhling, Klaus Indermark |
| Edizione | [1st ed. 1973.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1973 |
| Descrizione fisica | 1 online resource (X, 330 p.) |
| Disciplina | 005.11 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Computers Mathematical logic Programming Techniques Computation by Abstract Devices Mathematical Logic and Formal Languages |
| ISBN | 3-540-37826-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On the structure of algorithmic problems -- A mathematical model of digital computers -- On some recent problems concerning developmental languages -- Fault-tolerance and stability of fuzzy-state automata -- Bemerkungen über Homomorphismen endlicher in lineare Automaten -- Der Kaskadenzerlegungssatz für Halbautomaten -- Konvergenzbetrachtungen bei der Vorhersage des Ausgabeverhaltens allgemeiner stochastischer Systeme -- Ketten und arithmetische Prädikate von endlichen Automaten -- Une hierarchie infinie de cones d'Accepteurs verificateurs -- Zustandsfolgenabbildungen von verallgemeinerten endlichen Automaten -- Ein automatentheoretisches Modell einer Speicherhierarchie -- Deterministic one-counter automata -- The use of metric and uniform spaces for the formalization of behavioral proximity of states -- Quelques generateurs des langages algebriques -- Une caracterisation des langages quasi-rationnels standards -- Der Einfluss von Kontext auf spezielle CF-Grammatiken -- Zur Komplexität gesteuerter kontextfreier Ersetzungen -- Characterization of derivation sets of formal systems -- Die Darstellung indizierter Sprachen durch Ausdrücke -- Codes and aperiodic languages -- The characterization of certain classes of languages in the context sensitive area by automata -- A characterization of boolean closures of families of languages -- Zufällige Folgen und Bi-Immunität -- Die mittler Additionsdauer eines Paralleladdierwerks -- On the number of multiplications required by the product of two matrices -- Elementare und subelementare Funktionenklassen über binären Bäumen -- Über die Vernetzungsstruktur von Maschinen -- On the simulation of time bounded machines -- Über die Zeit, die benötigt wird, um endliche Mengen umzuordnen -- Über eine Hierarchie von Push-Down-Entscheidbaren Mengen -- A characterization of the classes L1 and R1 of primitive recursive word functions -- A drum scheduling algorithm -- Some considerations about classes of mappings between context-free derivation systems -- On ianov schemas with one memory location -- Reduction goals in bottom-up recognition -- Un modele semantique pour un langage simple de programmation -- Erweiterungen subrekursiver Programmiersprachen. |
| Record Nr. | UNISA-996465422103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
1st International Workshop on Real World Domain Specific Languages : in conjunction with CGO, March 2016, Barcelona, Spain / / program chairs, Robert Stewart, Greg Michaelson
| 1st International Workshop on Real World Domain Specific Languages : in conjunction with CGO, March 2016, Barcelona, Spain / / program chairs, Robert Stewart, Greg Michaelson |
| Pubbl/distr/stampa | New York : , : ACM, , 2016 |
| Descrizione fisica | 1 online resource (46 pages) |
| Disciplina | 005.11 |
| Soggetto topico | Domain-specific programming languages |
| ISBN | 1-4503-4051-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the 1st International Workshop on Real World Domain Specific Languages
RWDSL '16 : 1st International Workshop on Real World Domain Specific Languages : Barcelona, Spain, March 12, 2016 Real World Domain Specific Languages 2016 |
| Record Nr. | UNINA-9910376352303321 |
| New York : , : ACM, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2015 Agile Conference (AGILE 2015) : 3-7 August 2015, National Harbor, Maryland : proceedings / / Casper Lassenius and Rafael Prikladnicki
| 2015 Agile Conference (AGILE 2015) : 3-7 August 2015, National Harbor, Maryland : proceedings / / Casper Lassenius and Rafael Prikladnicki |
| Autore | Lassenius Casper |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , 2015 |
| Descrizione fisica | 1 online resource (112 pages) : illustrations |
| Disciplina | 005.11 |
| Soggetto topico | Agile software development |
| ISBN | 1-4673-7153-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Welcome Message from the Chairs -- Program Committee and Reviewers -- Research Papers -- Session 1 -- Session 2 -- Session 3 -- Session 4 -- Session 5 -- Short Papers -- Author Index. |
| Altri titoli varianti |
2015 Agile Conference
Agile Conference |
| Record Nr. | UNISA-996280365303316 |
Lassenius Casper
|
||
| Piscataway, New Jersey : , : IEEE, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2015 Agile Conference (AGILE 2015) : 3-7 August 2015, National Harbor, Maryland : proceedings / / Casper Lassenius and Rafael Prikladnicki
| 2015 Agile Conference (AGILE 2015) : 3-7 August 2015, National Harbor, Maryland : proceedings / / Casper Lassenius and Rafael Prikladnicki |
| Autore | Lassenius Casper |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , 2015 |
| Descrizione fisica | 1 online resource (112 pages) : illustrations |
| Disciplina | 005.11 |
| Soggetto topico | Agile software development |
| ISBN | 1-4673-7153-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Welcome Message from the Chairs -- Program Committee and Reviewers -- Research Papers -- Session 1 -- Session 2 -- Session 3 -- Session 4 -- Session 5 -- Short Papers -- Author Index. |
| Altri titoli varianti |
2015 Agile Conference
Agile Conference |
| Record Nr. | UNINA-9910135094603321 |
|
Lassenius Casper
|
||
| Piscataway, New Jersey : , : IEEE, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A first course in statistical programming whit R / W. John Braun, Duncan J. Murdoch
| A first course in statistical programming whit R / W. John Braun, Duncan J. Murdoch |
| Autore | Braun, W. John |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, c2007 |
| Descrizione fisica | X, 163 p. ; 25 cm |
| Disciplina | 005.11 |
| Altri autori (Persone) | Murdoch, Duncan J. |
| Soggetto non controllato |
Linguaggi di programmazione
Statistica Analisi numerica Scienza del computer |
| ISBN | 978-0-521-69424-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009115590403321 |
|
Braun, W. John
|
||
| Cambridge : Cambridge University Press, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Active Object Languages: Current Research Trends [[electronic resource] /] / edited by Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan
| Active Object Languages: Current Research Trends [[electronic resource] /] / edited by Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan |
| Autore | de Boer Frank |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (382 pages) |
| Disciplina | 005.11 |
| Altri autori (Persone) |
DamianiFerruccio
HähnleReiner Broch JohnsenEinar KamburjanEduard |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Microprogramming Computer input-output equipment Logic design Computer networks Microprocessors Computer architecture Programming Techniques Control Structures and Microprogramming Input/Output and Data Communications Logic Design Computer Communication Networks Processor Architectures |
| ISBN | 3-031-51060-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Active Objects based on Algebraic Effects -- Actor-based Designs for Distributed Self-organisation Programming -- Encore: Coda -- Bridging Between Active Objects: Multitier Programming for Distributed, Concurrent Systems -- A Survey of Actor-Like Programming Models for Serverless Computing -- Programming Language Implementations with Multiparty Session Types -- Modelling -- Integrated Timed Architectural Modeling/Execution Language -- Simulating User Journeys with Active Objects -- Actors Upgraded for Variability, Adaptability, and Determinism -- Analysis -- Integrating Data Privacy Compliance in Active Object Languages -- Context-aware Trace Contracts -- Type-Based Verification of Delegated Control in Hybrid Systems -- Enforced Dependencies for Active Objects. |
| Record Nr. | UNINA-9910806197803321 |
|
de Boer Frank
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ada 95 Reference Manual: Language and Standard Libraries [[electronic resource] ] : International Standard ISO/IEC 8652:1995 (E) / / edited by Tucker S. Taft, Robert A. Duff
| Ada 95 Reference Manual: Language and Standard Libraries [[electronic resource] ] : International Standard ISO/IEC 8652:1995 (E) / / edited by Tucker S. Taft, Robert A. Duff |
| Edizione | [1st ed. 1995.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
| Descrizione fisica | 1 online resource (XVIII, 530 p.) |
| Disciplina | 005.11 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Software engineering Programming languages (Electronic computers) Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-69190-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | General -- Lexical elements -- Declarations and types -- Names and expressions -- Statements -- Subprograms -- Packages -- Visibility rules -- Tasks and synchronization -- Program structure and compilation issues -- Exceptions -- Generic units -- Representation issues. |
| Record Nr. | UNISA-996465401103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advanced functional programming : 4th international school, AFP 2002 : Oxford, UK, August 19-24, 2002 : revised lectures / Johan Jeuring, Simon Peyton Jones (Eds.)
| Advanced functional programming : 4th international school, AFP 2002 : Oxford, UK, August 19-24, 2002 : revised lectures / Johan Jeuring, Simon Peyton Jones (Eds.) |
| Autore | International school on advanced functional programming <4. ; 2002 ; Oxford, UK> |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2003 |
| Descrizione fisica | VI, 211 p. : ill. ; 24 cm. |
| Disciplina | 005.11 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato | Tecniche di programmazione |
| ISBN | 3-540-40132-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990001889270203316 |
|
International school on advanced functional programming <4. ; 2002 ; Oxford, UK>
|
||
| Berlin [etc.] : Springer, copyr. 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advanced functional programming : 5th international school, AFP 2004 : Tartu, Estonia, August 2004 : revised lectures / Varmo Vene, Tarmo Uustalu (eds.)
| Advanced functional programming : 5th international school, AFP 2004 : Tartu, Estonia, August 2004 : revised lectures / Varmo Vene, Tarmo Uustalu (eds.) |
| Autore | International school, AFP 2004 : <5; : 2004; > |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2005 |
| Descrizione fisica | VIII, 357 p. : ill. ; 24 cm. |
| Disciplina | 005.11 |
| Collana | Lecture notes in computer science, Tutorial |
| Soggetto non controllato | Tecniche di programmazione |
| ISBN | 3-540-28540-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003071300203316 |
|
International school, AFP 2004 : <5; : 2004; >
|
||
| Berlin [etc.] : Springer, copyr. 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advanced functional programming : 6th international school, AFP 2008 : Heijen, The Netherlands, may 19-24, 2008 : revised lectures / Pieter Koopman...[et al.] (Eds.)
| Advanced functional programming : 6th international school, AFP 2008 : Heijen, The Netherlands, may 19-24, 2008 : revised lectures / Pieter Koopman...[et al.] (Eds.) |
| Autore | International school, AFP 2008 : <6.; : 2008; > |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2009 |
| Descrizione fisica | XVI, 329 p. : ill. ; 24 cm. |
| Disciplina | 005.11 |
| Collana | Lecture notes in computer science, Tutorial |
| Soggetto topico | Tecniche di programmazione - Congressi - Heijen - 2008 |
| ISBN | 3-642-04651-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003335860203316 |
|
International school, AFP 2008 : <6.; : 2008; >
|
||
| Berlin [etc.] : Springer, copyr. 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
